141. PROLOG for Computer Science
پدیدآورنده : by M.S. Dawe, C.M. Dawe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
142. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
143. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
پدیدآورنده : 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
144. Principles of physical science /
پدیدآورنده : editor, Donald R. Franceschetti, PhD, The University of Memphis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Physical sciences.,Physical sciences.,SCIENCE / Essays.,SCIENCE / Reference.
رده :
Q158
.
5
.
P755
2017
145. Proceedings of the Third International Conference on Soft Computing for Problem Solving :
پدیدآورنده : edited by Millie Pant, Kusum Deep, Atulya Nagar, Jagdish Chand Bansal.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Applied mathematics.,Artificial intelligence.,Engineering.
رده :
QA76
.
9
.
S63
E358
2014
146. Process Algebra for Parallel and Distributed Processing
پدیدآورنده :
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
147. Process algebra with timing
پدیدآورنده : by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
148. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
149. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
150. Reference data for engineers :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Electronics.,Telecommunication.,Computer engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Electrical.,Telecommunication.
رده :
TK6552
.
F4
2002eb
151. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
152. Relations and Graphs :
پدیدآورنده : by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
153. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
154. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
156. Self-Timed Control of Concurrent Processes
پدیدآورنده : edited by Victor I. Varshavsky.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
157. Soft Computing in Measurement and Information Acquisition
پدیدآورنده : edited by Leon Reznik, Vladik Kreinovich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer science.,Engineering mathematics.,Engineering.,Management information systems.,Mathematics.
158. Specification of Software Systems
پدیدآورنده : by V.S. Alagar, K. Periyasamy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
159. Spectral techniques and fault detection /
پدیدآورنده : edited by Mark G. Karpovsky
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fault-tolerant computing-- Congresses,Logic design-- Congresses,Signal processing-- Digital techniques-- Congresses,Spectral theory (Mathematics)-- Congresses
رده :
TK7868
.
L6
S64
1985
160. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
